What happened to Roman soldiers after a Decimation